Embedded systems

Results: 6592



#Item
41Motivation: Embedded Systems discrete inputs Hybrid Models for Analysis and Control Design

Motivation: Embedded Systems discrete inputs Hybrid Models for Analysis and Control Design

Add to Reading List

Source URL: cse.lab.imtlucca.it

Language: English - Date: 2014-09-16 01:41:10
    42Trust in compilers, code generators, and software verification tools Xavier Leroy Inria Paris Embedded Real Time Software and Systems,

    Trust in compilers, code generators, and software verification tools Xavier Leroy Inria Paris Embedded Real Time Software and Systems,

    Add to Reading List

    Source URL: xavierleroy.org

    Language: English - Date: 2018-08-01 14:49:25
      43Online Binding of Applications to Multiple Clock Domains in Shared FPGA-based Systems Farzad Samie, Lars Bauer, Chih-Ming Hsieh and J¨org Henkel Chair for Embedded Systems (CES), Karlsruhe Institute of Technology (KIT),

      Online Binding of Applications to Multiple Clock Domains in Shared FPGA-based Systems Farzad Samie, Lars Bauer, Chih-Ming Hsieh and J¨org Henkel Chair for Embedded Systems (CES), Karlsruhe Institute of Technology (KIT),

      Add to Reading List

      Source URL: cesweb.itec.kit.edu

      Language: English - Date: 2015-03-11 10:32:42
        44Automated Abstraction of Labeled Petri Nets Kevin Jones University of Utah Abstract- Due to the increasing use and complexity of embedded and cyber-physical systems, proper validation of the

        Automated Abstraction of Labeled Petri Nets Kevin Jones University of Utah Abstract- Due to the increasing use and complexity of embedded and cyber-physical systems, proper validation of the

        Add to Reading List

        Source URL: www.async.ece.utah.edu

        Language: English - Date: 2015-11-04 17:38:56
          45PREPRINT:

          PREPRINT: "M. Hassan and H. Patel, "Criticality- and Requirement-aware Bus Arbitration for Multi-core Mixed Criticality Systems," in proceed ings of the IEEE Real-Time and Embedded Technology and Applications Symposium (

          Add to Reading List

          Source URL: caesr.uwaterloo.ca

          Language: English - Date: 2017-11-20 15:53:00
            46Hybrid Toolbox for Matlab Alberto Bemporad http://www.dii.unisi.it/hybrid COHES Group Control and Optimization of Hybrid and Embedded Systems

            Hybrid Toolbox for Matlab Alberto Bemporad http://www.dii.unisi.it/hybrid COHES Group Control and Optimization of Hybrid and Embedded Systems

            Add to Reading List

            Source URL: cse.lab.imtlucca.it

            Language: English - Date: 2005-09-20 06:11:06
              47Side-Channel Analysis (SCA) – A comparative approach on smart cards, embedded systems, and high security solutions Rohde & Schwarz SIT GmbH Stuttgart/Germany

              Side-Channel Analysis (SCA) – A comparative approach on smart cards, embedded systems, and high security solutions Rohde & Schwarz SIT GmbH Stuttgart/Germany

              Add to Reading List

              Source URL: www1.spms.ntu.edu.sg

              Language: English - Date: 2015-01-06 02:59:03
                48January 13-17, 2014 Computer Science Department, Research school ER02 Contact : Programming Embedded Systems with synchronous langages Summary

                January 13-17, 2014 Computer Science Department, Research school ER02 Contact : Programming Embedded Systems with synchronous langages Summary

                Add to Reading List

                Source URL: laure.gonnord.org

                Language: English - Date: 2014-01-15 03:54:33
                  49Dynamic Power Management using On Demand Paging for Networked Embedded Systems Yuvraj Agarwal Curt Schurgers

                  Dynamic Power Management using On Demand Paging for Networked Embedded Systems Yuvraj Agarwal Curt Schurgers

                  Add to Reading List

                  Source URL: www.synergylabs.org

                  Language: English - Date: 2013-01-16 02:13:39
                    50PANACEA: AUTOMATING ATTACK CLASSIFICATION FOR ANOMALY-BASED NETWORK INTRUSION DETECTION SYSTEMS DAMIANO BOLZONI, SANDRO ETALLE AND PIETER HARTEL DISTRIBUTED AND EMBEDDED SECURITY GROUP TWENTE SECURITY LAB

                    PANACEA: AUTOMATING ATTACK CLASSIFICATION FOR ANOMALY-BASED NETWORK INTRUSION DETECTION SYSTEMS DAMIANO BOLZONI, SANDRO ETALLE AND PIETER HARTEL DISTRIBUTED AND EMBEDDED SECURITY GROUP TWENTE SECURITY LAB

                    Add to Reading List

                    Source URL: www.rennes.supelec.fr

                    Language: English - Date: 2009-10-01 09:50:26